منابع مشابه
Chair for Automata Theory LTCS – Report Making Quantification Relevant Again
Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such ne...
متن کاملMaking Forward Chaining Relevant
Planning by forward chaining through the world space has long been dismissed as being “obviously” infeasible. Nevertheless, this approach to planning has many advantages. Most importantly forward chaining planners maintain complete descriptions of the intermediate states that arise during the course of the plan’s execution. These states can be utilized to provide highly effective search control...
متن کاملMaking Quantification Relevant Again
Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such ne...
متن کاملCollective intentionality in economics: making Searle’s theory of institutional facts relevant for game theory
Economic theories of team reasoning build on the assumption that agents can sometimes behave according to beliefs or preferences attributed to a group or a team. In this paper, I propose a different framework to introduce collective intentionality into game theory. I build on John Searle’s account, which makes collective intentionality constitutive of institutional facts. I show that as soon as...
متن کاملMaking Sense of Relevant Semantics
Involving as it does impossible worlds and the like, the Routley-Meyer worlds semantics for relevant logic has seemed unmotivated to some. I set a version of relevant semantics in a context to make sense of its different elements. Suppose a view which makes room for structured properties — or related entities which combine in arbitrary ways to form structured ones. Then it may seem natural to s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Teaching Sociology
سال: 2013
ISSN: 0092-055X,1939-862X
DOI: 10.1177/0092055x13480153